Stir-Fried Pak Choi With Cherry Tomatoes And Garlic